$\vdash$  (0 $\geq$ 0 ) $\in$ $\mathbb{P}_{1}$